227 Documenta Math. Markowitz and Manne + Eastman + Land and Doig = Branch and Bound

Source URL: documenta.sagemath.org

• Operations research
• Combinatorial optimization
• Travelling salesman problem
• Branch and bound
• Linear programming relaxation
• Integer programming
• Branch and cut
• Linear programming
• Algorithm
• Mathematical optimization
• Cutting-plane method
• Simplex algorithm

NavSpark Programmer Guide Rev. 0.4 December 14, 2015 Er

Source URL: navspark.mybigcommerce.com

• C
• Procedural programming languages
• C data types
• C++ classes
• Integer
• 64-bit computing
• S3

Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA

Source URL: homes.cs.washington.edu

• Operations research
• Compiler construction
• Formal languages
• Machine learning
• Dependency grammar
• Natural language parsing
• LL parser
• Integer programming
• Parsing
• Linear programming
• Context-free grammar
• Conditional random field

Microsoft Word - NEW02.docx

Source URL: agecon2.tamu.edu

• Operations research
• Mathematical optimization
• Integer programming
• Linear programming
• Feasible region
• Constraint

65 Documenta Math. Column Generation for Linear and Integer Programming George L. Nemhauser

Source URL: www.math.uiuc.edu

• Operations research
• Combinatorial optimization
• Mathematical optimization
• Packing problems
• Linear programming
• Column generation
• Cutting stock problem
• Integer programming
• Linear programming relaxation
• Simplex algorithm
• DantzigWolfe decomposition
• Branch and bound

RTGBeing Stubborn: Developing Optimal Solution Strategies for a Scheduling Problem Despite its NP-Hardness Dr. Oliver Sinnen Department of Electrical and Computer Engineering

Source URL: grk1855.tu-dortmund.de

• Computational complexity theory
• Theory of computation
• Combinatorial optimization
• Complexity classes
• Operations research
• Integer programming
• Heuristic
• Branch and bound
• NP
• Optimization problem
• Pruning
• Reduction

AM 121: Intro to Optimization Models and Methods Lecture 11: Integer programming Yiling Chen SEAS

Source URL: am121.seas.harvard.edu

Mixed-Integer Nonlinear Programming Models for Optimal Design of Multi-product Batch Plant Fengqi You* and Ignacio E. Grossmann**, Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, PA 15213 *e-m

Source URL: minlp.org

First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213

Source URL: select.cs.cmu.edu

• Logic
• Mathematical logic
• Abstraction
• Automated theorem proving
• Model theory
• Predicate logic
• Semantics
• Boolean algebra
• Resolution
• Cutting-plane method
• First-order logic
• Propositional calculus